Knowing by Sensing

A Logic of Acting, Sensing, Knowing, and Only Knowing

This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic of only knowing due to Levesque. In this paper, we propose the logic , which combines both approaches in a clean and natural way. We present a semantics for which generalizes the semantics of to account for actions, and a sound and ...

AOL: A logic of Acting, Sensing, Knowing, and Only Knowing

This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only knowing due to Levesque. In this paper, we propose the logic AOL, which combines both approaches in a clean and natural way. We present a semantics for AOL which generalizes the semantics of OL to account for actions, and...

LEARNING AND KNOWING THROUGH SENSING PRACTICE Authors:

In this paper we describe the shifting knowledge logics of two work communities as these two communities try to align with stakeholders in the development and implementation of two different projects. In both cases the display of senses becomes vital in order for the communities to appear as if they align with rationalistic and cognitive learning and sense-making. Observation of and narratives ...

Construing Polanyi’s Tacit Knowing as Knowing by Acquaintance Rather than Knowing by Representation: Some Implications

ESP: A Logic of Only-Knowing, Noisy Sensing and Acting

When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, the one by Bacchus, Halpern and Levesque, which uses the situation calculus, is perhaps the most expressive. However, there are still some open issues. For example, it remains unclear what an agent’s knowledge base woul...